Listing 1 - 6 of 6 |
Sort by
|
Choose an application
Les algorithmes existent depuis que l’humain essaie de calculer. Au Moyen Âge, leur exécution est déléguée à des machines. En 1936, Alan Turing propose une machine universelle, exécutant tous les algorithmes possibles et imaginables, et donne ainsi naissance à l’ordinateur et à l’informatique. L’invention des réseaux, à partir des années 1960, a permis d’aller encore plus loin avec l’informatique répartie, connectant des ordinateurs dans de grands réseaux comme Internet et des processeurs dans de petits réseaux à l’intérieur de chacun des ordinateurs. L’objectif était de créer une super-machine, indestructible et ultra-rapide. Mais la recherche de ces « super-pouvoirs » a entraîné la perte de l’universalité. L’algorithmique répartie étudie les conditions permettant de retrouver l’universalité de Turing, ou des formes d’universalités restreintes réalisables.
Multidisciplinary --- informatique --- sciences numériques --- informatique répartie --- algorithmique --- algorithmes --- Internet --- réseaux --- universalité --- ordinateur --- asynchronisme --- calcul distribué --- calculabilité
Choose an application
Cet ouvrage présente une synthèse de recherches sur l’enseignement du calcul mental, la résolution de problèmes et l’apprentissage de techniques opératoires. Après un chapitre présentant l’évolution des programmes d’enseignement du calcul mental depuis la création de l’école publique jusqu’à nos jours, quatre chapitres étudient les liens existant entre sens et technique. Deux chapitres s’intéressent aux relations entre connaissances numériques et procédures mobilisées par les élèves lors d’activités de calcul mental ou dans le cadre d’un environnement informatique ; deux autres traitent de l’influence d’une pratique régulière de calcul mental sur la résolution de problèmes numériques. Enfin, trois chapitres portent sur l’étude de difficultés rencontrées par les élèves, notamment ceux scolarisés en ZEP (zones d’éducation prioritaires). Des cheminements cognitifs susceptibles de favoriser leurs apprentissages sont mis en évidence. Des leviers d’enseignement, des exemples d’activités et de programmation, de l’école élémentaire aux deux premières années de collège, sont proposés aux professeurs pour aider ces élèves à dépasser leurs difficultés. Cet ouvrage s’adresse aux chercheurs en didactique des mathématiques, aux enseignants de collège, aux professeurs des écoles, aux formateurs IUFM et plus largement, à toute personne intéressée par le sujet. Un glossaire de didactique favorise au non-chercheur la lecture du vocabulaire technique.
Arithmetic --- Mental arithmetic --- Study and teaching --- Education --- calcul mental --- éducation --- programme d’enseignement --- élève --- apprentissage
Choose an application
L’ouvrage présente, traduit et commente le Suan shu shu 算數書, un manuscrit chinois du – IIe siècle excavé pendant l’hiver 1983-84. Sa découverte a bouleversé les connaissances sur les sources anciennes des mathématiques en Chine. La traduction et ses commentaires permettent de mieux comprendre le texte et son contexte, ils mettent en résonnance l’archéologie des textes excavés, le chinois ancien, l’histoire des mathématiques et la vie en Chine sous les Han. La traduction française est accompagnée du texte original, de sa transcription pinyin et d’un mot-à-mot. This book presents, translates and comments the Suan shu shu 算數書, a Chinese manuscript of the 2nd century BCE excavated during the winter 1983-84. Its discovery challenged what was known of the ancient sources of the mathematics in China. The translation and commentaries help understand the text and its context, they connect the archaeology of excavated texts, old Chinese, the history of mathematics and the life in China under the Han. The French translation comes with the original text, its pinyin transliteration and a word-by-word translation. 本文對1983-84年出土於張家山的西漢竹簡《算數書》全文進行了介紹、注釋和法文翻譯。《算數書》的發現更新了人們對中國當代數學傳世和出土文獻歷史的了解。本文的翻譯和注釋可以幫助人們更加容易地了解和讀懂《算數書》,並且聯繫了出土文獻考古學、古代漢語研究、數學歷史以及西漢時期的物質生活。本文法文翻譯部分包含了原文、原文的漢語拼音和逐字翻譯。
Asian Studies --- History --- Suan shu shu --- histoire des mathématiques --- chinois ancien --- standardisation linguistique --- numération --- lexique mathématique --- outils de calcul --- texte excavé --- unité de mesure --- dynastie Han --- calculating tool --- couting rod --- history of mathematics --- old Chinese --- language standardisation --- numeration --- mathematics lexicon --- unit of measurement --- Han dynasty
Choose an application
Quelles sont les conditions sociales et intellectuelles de la mise en œuvre d’un calcul économique ? Comment rendre compte des aspects cognitifs et rituels des pratiques économiques ? En portant attention aux techniques intellectuelles utilisées par les acteurs économiques, dans leur matérialité même, les chercheurs réunis ici, historiens et anthropologues, ont découvert de surprenantes convergences entre l’histoire des mathématiques chinoises et celle du Moyen Âge occidental, de surprenantes continuités entre les façons de tenir ses comptes du XIIIe au XVIIIe siècle. Ils ont surtout mieux compris l’intérêt de confronter des données issues d’univers sociaux éloignés : loin de tenir pour acquise la partition du monde entre ce qui est économique et ce qui ne l’est pas, leur questionnement porte sur les modalités du calcul pratique et en restitue les cadres rituels et cognitifs.
Written communication - Europe - History - To 1500 --- Written communication - Economic aspects - Europe - History --- Counting - Economic aspects - Europe - History - To 1500 --- Bookkeeping - Europe - History - To 1500 --- Commerce - History - To 1500 --- Civilization, Medieval --- History --- histoire --- étude des pratiques sociétales --- histoire intellectuelle mondiale --- convergence historique internationale --- relation de causalité --- calcul pratique --- mathématique et société --- Written communication --- Counting --- Bookkeeping --- Commerce
Choose an application
This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefore be treated with the logician’s toolkit, including model-theoretic constructions and proof systems. After motivating the enterprise, the book describes how classical propositional and predicate logic can be made inquisitive—i.e., extended conservatively with questions—and what the resulting logics look like in terms of meta-theoretic properties and proof systems. Finally, the book discusses the tight connections between inquisitive logic and dependence logic.
Logic. --- Mathematical logic. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Lògica matemàtica --- Inferència --- Lògica formal --- Lògica simbòlica --- Lògica simbòlica i matemàtica --- Lògica universal --- Logística (Filosofia) --- Matemàtica --- Atzar --- Càlcul lambda --- Categories (Matemàtica) --- Decidibilitat (Lògica matemàtica) --- Funcions recursives --- Independència (Matemàtica) --- Lògica algebraica --- Lògica combinatòria --- Lògica de primer ordre --- Lògica difusa --- Lògica informàtica --- Matemàtica constructiva --- Metodologia de la ciència --- Nombres cardinals --- Pragmàtica (Lingüística) --- Probabilitats --- Semàntica (Filosofia) --- Teoria axiomàtica de conjunts --- Teorema de Gödel --- Teoria de la commutació --- Teoria de la prova --- Teoria de la recursió --- Teoria de màquines --- Teoria de models --- Teoria de tipus --- Àlgebra abstracta --- Metamatemàtica --- Programació lògica --- Sil·logisme --- Teoria de conjunts --- Inferència (Lògica) --- Raonament
Choose an application
This open access book provides an introduction to uncertainty quantification in engineering. Starting with preliminaries on Bayesian statistics and Monte Carlo methods, followed by material on imprecise probabilities, it then focuses on reliability theory and simulation methods for complex systems. The final two chapters discuss various aspects of aerospace engineering, considering stochastic model updating from an imprecise Bayesian perspective, and uncertainty quantification for aerospace flight modelling. Written by experts in the subject, and based on lectures given at the Second Training School of the European Research and Training Network UTOPIAE (Uncertainty Treatment and Optimization in Aerospace Engineering), which took place at Durham University (United Kingdom) from 2 to 6 July 2018, the book offers an essential resource for students as well as scientists and practitioners.
Enginyeria --- Estadística matemàtica --- Probabilitats --- Incertesa --- Incertitud --- Raonament --- Expectatives racionals (Teoria econòmica) --- Càlcul de probabilitats --- Inferència estadística --- Probabilitat --- Combinatòria (Matemàtica) --- Lògica --- Lògica matemàtica --- Anàlisi de sèries temporals --- Correlació (Estadística) --- Descomposició (Matemàtica) --- Distribució (Teoria de la probabilitat) --- Fiabilitat (Enginyeria) --- Funcions característiques --- Geometria estocàstica --- Incertesa (Teoria de la informació) --- Integrals de camí --- Jocs d'atzar (Matemàtica) --- Mitjana (Estadística) --- Probabilitats combinatòries --- Processos estocàstics --- Sort --- Teoremes de límit (Teoria de probabilitats) --- Teoria matemàtica de la comunicació --- Variables aleatòries --- Atzar --- Risc (Economia) --- Teoria ergòdica --- Estadística descriptiva --- Matemàtica estadística --- Mètodes estadístics --- Estadística --- Anàlisi d'error (Matemàtica) --- Anàlisi de regressió --- Anàlisi de variància --- Anàlisi multivariable --- Anàlisi seqüencial --- Astronomia estadística --- Dependència (Estadística) --- Estadística no paramètrica --- Estadística robusta --- Física estadística --- Mètode dels moments (Estadística) --- Models lineals (Estadística) --- Models no lineals (Estadística) --- Teoria de l'estimació --- Teoria de la predicció --- Tests d'hipòtesi (Estadística) --- Biometria --- Mostreig (Estadística) --- Tecnologia --- Arquitectura --- Bioenginyeria --- Biotecnologia --- Ciència dels materials --- Criogènia --- Dibuix industrial --- Enginyeria biomèdica --- Enginyeria civil --- Enginyeria concurrent --- Enginyeria de programari --- Enginyeria de sistemes --- Enginyeria elèctrica --- Enginyeria industrial --- Enginyeria forense --- Enginyeria geotèrmica --- Enginyeria mecànica --- Enginyeria militar --- Enginyeria naval --- Enginyeria química --- Enginyeria sísmica --- Enginyeria de costes --- Informàtica --- Maquinària --- Mesurament --- Normes tècniques --- Oceanografia aplicada --- Resistència de materials --- Tecnologia del vapor --- Història de l'enginyeria --- Mecànica --- Uncertainty quantification --- Engineering applications --- Imprecise Probabilities --- Bayesian Statistics --- Markov Chains --- Reliability --- Complex systems --- Inconsistent information --- Model validation --- Experimental measurements --- Open Access
Listing 1 - 6 of 6 |
Sort by
|